type F<A> = A extends {} ? B : C;